residual group

[数] 剩余群